up
previous
next
MinGensGeneral [OBSOLESCENT]
-- [OBSOLESCENT] renamed MinSubsetOfGens
Description
Renamed
MinSubsetOfGens
(more expressive).